| 程序死循环 | 您所在的位置：网站首页 › for while do while都可能出现无穷循环 › 程序死循环 |
程序死循环
|
问题
编程结束了，我们的程序跑起来了。但是我们不知道其是否能终止，结果是否正确等等。我们面临着一系列的问题。 死循环是一个非常让人反感的问题，它 有时候是站在程序正常运行的外表下，进行着错误的行为，有时候很久才能发现这个问题。（而在这个过程中也会造成很大的损失） 容易造成损失的地方，人们就会尝试去解决这些问题。 为了避免这样的问题，人们开发了一些检测的方法，用来检测程序中可能存在死循环的地方。 （这里主要指单线程） 死循环的本质一段程序，能够陷入死循环，是因为具备了一定的死循环的条件的。 【环的存在】对于一段代码，构造出其语句流程图，那么环如果存在是形成死循环的一个必要的条件。（图1）【关键结点】在一个环中并不是所有的结点对于死循环的形成都是同等重要的。那些处在跳出循环以及进入循环处的结点十分重要。（比如说，while,for循环中的条件判断成分，决定了循环的走向，条件控制的错误将会导致死循环的产生） PS:【借鉴意义】当我们去查找一个死循环的问题的时候，要从循环体中的关键结点（控制条件处）入手进行分析。【数据流简化】死循环是循环的一种非正常方式，控制逻辑的错误是导致这种问题的主要原因。（通过分析与条件相关的数据流链，我们能够从数据流角度，进一步缩小分析的范围，筛选出不在这条数据流上的一些东西，简化）图1： 关于下面代码的相关说明： 【循环结构的存在】for结构的存在，决定了环路的存在。【关键控制点】关键控制点为 i |
【本文地址】
公司简介
联系我们